Generalized Indiscernibles as Model-complete Theories

نویسنده

  • CAMERON DONNAY
چکیده

We define a mild generalization of classical Fraïssé classes, and in this context, we recover several old (often with novel proofs) and new facts about Ramsey classes and generalized indiscernibles in the sense of [12], [17], and other sources. Of particular novelty are: (1) a new and clearly model-theoretic proof of the equivalence of the Ramsey property and the extreme amenability of the automorphism group of the Fraïssé -limit, and (2) an analysis of the pseudo-finiteness of Ramsey-expandable Fraïssé classes.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A New Omitting Types Theorem

An omitting types theorem for countable models of superstable theories containing an infinite set of indiscernibles is proved. Various corollaries and applications are given. 1. One of the most useful ways that the model theorist has for controlling models is to attempt to specify the element types that models realize and omit. In this paper we present an omitting types theorem which seems well...

متن کامل

Pure Computable Model Theory

2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. Introduction History Notation and basic definitions Decidable theories, and computable and decidable models Effective completeness theorem Model completeness and decidability Omitting types and decidability Decidable prime models Computable saturated models and computably saturated models Decidable homogeneous models Vaught's theorem computabl...

متن کامل

On Plane Waves for Mode-I Crack Problem in Generalized Thermoelasticity

A general model of the equations of generalized thermoelasticity   for an infinite space weakened by a finite linear opening Mode-I crack is solving. The material is   homogeneous and has isotropic properties of elastic half space. The crack is subjected to prescribed temperature and stress distribution. The formulation is applied to generalized thermoelasticity theories, the Lord-Şhulman...

متن کامل

Elastic/plastic Buckling Analysis of Skew Thin Plates based on Incremental and Deformation Theories of Plasticity using Generalized Differential Quadrature Method

Abstract   In this study, generalized differential quadrature analysis of elastic/plastic buckling of skew thin plates is presented. The governing equations are derived for the first time based on the incremental and deformation theories of plasticity and classical plate theory (CPT). The elastic/plastic behavior of plates is described by the Ramberg-Osgood model. The ranges of plate geometries...

متن کامل

Stability theory, Permutations of Indiscernibles, and Embedded Finite Models∗

We show that the expressive power of first-order logic over finite models embedded in a model M is determined by stability-theoretic properties of M . In particular, we show that if M is stable, then every class of finite structures that can be defined by embedding the structures in M , can be defined in pure first-order logic. We also show that if M does not have the independence property, the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013